In this paper we prove that
two global semianalytic subsets of a real analytic manifold of dimension two
are separable if and only if there is no analytic component of the Zariski
closure of the boundary which intersects the interior of one of the two sets
and they are separable in a neighbourhood of each singular point of the
boundary.
We show also that, unlike in the algebraic case, the obstructions at infinity are
not relevant.