Total disconnectedness of a type space
= Total disconnectedness of a type space
Distinct complete types contain opposite choices $\varphi$ and $\neg\varphi$. The corresponding basic clopen sets partition the type space, so every type space is totally disconnected.