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.