Leads, Seniors, and Additionals, oh my!!!
International Game Developers Association
From Epic-- We have a specific rule for senior titles (7 years industry experience or equivalent), and Leads are certainly a very different role than non-leads. We'd include both in credits.
