I've three servers with Debian 9, Maria 10.1 and running a Galera cluster.

We're upgrading the hardware by getting three new servers. They will have Debian 10 and Maria 10.3.

What are my options for accomplishing this with minimal service downtime?

One option I can think of
Does that seem reasonable?

Tom