Mutation-acyclic quivers are totally proper

Totally proper quivers, introduced by S.~Fomin and the author arXiv:2406.03604, have many useful properties including powerful mutation invariants. We show that every mutation-acyclic quiver (i.e., a quiver that is mutation equivalent to an acyclic one) is totally proper. This yields new necessary conditions for a quiver to be mutation-acyclic. In particular, we show that a generalization of the Markov invariant for $3$-vertex quivers applies to all mutation-acyclic quivers. Only finitely many acyclic quivers share the same Markov invariant.