There is no formal useful definition for a Tier 1 IXP.
I have only heard of a "Tier 1 IXP" once and then it was related to a lawsuit. The term never seemed to take.
In each Internet Peering Ecosystem there are one or more dominant IXPs - the ones that everyone connects to because everyone interesting is already there.