We explore a sufficient condition for the hamiltonicity of vertex envelopes of plane graphs. In particular we show that if a plane graph G contains an independent set of vertices
such that
is a tree, then its vertex envelope
is Hamiltonian. Based on this criteria, we identify classes of plane graphs whose vertex envelopes are Hamiltonian. We also describe constructions that produce plane graphs whose vertex envelopes are Hamiltonian, and investigate the hamiltonicity of graphs obtained through edge subdivisions.