"I would also like to know whether the proposed tag is intended to include topological games". I don't see why not. When I think of infinite games I immediately think of Ramsey theory and, of course, determinacy. But there is much more, and it would feel natural to use the new tag in all these rather different settings. There are some continuous games that would qualify. Topological games, model-theoretic techniques, and others. —
Andrés E. Caicedo 4 mins ago