I just think that if the original author's vision name for the character is Tina, then that is her real name. Terra seems to be used because of marketing reasons.
It's not a matter of them saying "I want her to be named x" it's a matter of them saying "I want her name to invoke x references and feelings." Her name is whatever it needs to be in order to achieve that.