:

El símbolo : (dos puntos) se utiliza para finalizar una declaración CASE o una declaración DEFAULT de una sentencia SWITCH.

En realidad, los símbolos : (dos puntos) y ; (punto y coma) son sinónimos en este lenguaje, es decir, que es indiferente utilizar uno u otro.

Aún así, por similitud a otros lenguajes de programación se utiliza, normalmente, el símbolo punto y coma como terminador de sentencias y el símbolo dos puntos dentro de la sintaxis de la sentencia SWITCH.