Здесь используется Present Perfect, так как действие ('leave' — уехать) произошло только что и имеет результат в настоящем (Питера нет). Формула: Подлежащее + have/has + причастие прошедшего времени (V3).
Подлежащее 'he' требует вспомогательного глагола 'has'.