What is King Tirian's full name?

I consulted Paul Ford's excellent reference, "The Companion To Narnia", and even it does not have Tirian's name in the format above. He is the son of Erlian, but as to his first name....See also the link below.