  Dendroidal sets have been introduced as a combinatorial model for homotopy
coherent operads. We introduce the notion of fully Kan dendroidal sets and show
that there is a model structure on the category of dendroidal sets with fibrant
objects given by fully Kan dendroidal sets. Moreover we show that the resulting
homotopy theory is equivalent to the homotopy theory of connective spectra.
