Characterizations of amenable gyrogroups related to Tarski’s Theorem