 Solution

A group is cubulated when it admits a cubulation of a group, namely a metrically proper group action by cubical automorphisms on a CAT(0) cube complex. It is cocompactly cubulated when that action is also a cocompact group action. Thus a cocompact cubulation is a proper, cocompact cubical action.