The people I knew who went to Gordonstoun and Loretto always referred to them as "public schools". I don't think I ever knew anyone who went to the other two you cite. "Independent schools" includes the schools that are not members of the Headmasters' conference. "Public School" does not.