An important theorem of Gross and Tucker characterises a directed graph $E$ which admits a free action of a group as a skew product. Here we extend this to directed graphs admitting free actions of semigroups, $S$, under certain hypotheses. Indeed, the main criterion we employ can be completely characterised by properties of the quotient map $E \rightarrow E/S$.