Automata on infinite trees and Kleene closure of regular tree sets