That can make it hard for the unsure viewer to determine who was verifiably real or not. Fortunately, we can accurately say who King Leonidas in Record of Ragnarok is and if he’s real.