First mention: Ayatollah Ali Khamenei
Khamenei or the Supreme Leader on subsequent mentions.
His full name, Sayyed Ali Hosseini Khamenei, is rarely used.
Supreme Leader of the Islamic Republic of Iran since 1989.
Supreme Leader of Iran or Iran’s Supreme Leader is sufficient.