In this paper completeness and compactness in type-2 fuzzy metric spaces are studied. Cantor’s intersection theorem characterizing the completeness of a type-2 fuzzy metric space is proved. Baire’s category theorem is also ...