"Leader" is one of the worst buzzword bingo terms in a company. It means nothing, it's just a convenient label to give people who you feel like promoting to maintain the 10:1 ratio.
You could argue Linus Torvald is an industry leader, or you could argue he doesn't show adequate leadership for cross-team.