I like the name Terra better, too. It's unique, and it suits her personality better. Tina is a very common name, and it sounds more like an upbeat girl; rather than a mysterious, lonely girl.