I think "shipped" usually implies that one could buy them in some sort of official way. So for example the original chromebook CR-48 wasn't really "shipped" in that sense since you only got them as a devkit in conferences and similar, but the Oculus DK-1 "shipped" since even though it was a devkit you could buy it from Oculus.
At least that is the way I've seen the term used when it comes to development hardware.
At least that is the way I've seen the term used when it comes to development hardware.