Note que $\bar{S} \subset \mathbb{R}^2$ e $\mathbb{R}^2$ é um espaço métrico, então, por $\bar{S}$ ser metrizável e compacto, $\bar{S}$ é separável.