The first appearance of “Mario” is in Donkey Kong (1981) where he is named “Jumpman”. The first game in which the character is named “Mario” is in Mario Brothers (1983), an arcade game. Mario probably didn’t become a household name until Super Mario Bros. (1985) on the NES.