Total disconnectedness of a type space

Distinct complete types contain opposite choices $\phi$ and $\neg \phi$. The corresponding basic clopen sets partition the type space, so every type space is totally disconnected.