We give a sufficient condition and a necessary condition for the compactness of the composition operators on model spaces Cϕ : Kθ → H2 , where ϕ is univalent. This is a generalization to a result of Shapiro for the composition operator Cϕ : H2 → H2