As you said. If there are no infinite transitions, then the existential formula cannot be satisfied.

If the formula is not satisfied, then its negation is satisfied. The negation of the existential formula is a universal formula. That isn't surprising. If there are no infinite paths, then all (of the zero) infinite paths satisfy any arbitrary criterion.