El diccionario "De toponimia granadina", del que son autores Amador Díaz García y Manuel Barrios Aguilera, considera que su nombre viene del árabe "al-taraf", que en el dialecto granadino sería "a-tarf", con el significado de "puntal", probablemente en relación con sus picos "Castillejo" y "Tajo Colorao".