Positionality in $Σ_0^2$ and a completeness result (Logical Methods in Computer Science, 2026)