We give a complete classification of all static, spherically symmetric
solutions of the SU(2) Einstein-Yang-Mills theory with a positive cosmological
constant. Our classification proceeds in two steps. We first extend solutions
of the radial field equations to their maximal interval of existence. In a
second step we determine the Carter-Penrose diagrams of all 4-dimensional
space-times constructible from such radial pieces. Based on numerical studies
we sketch a complete phase space picture of all solutions with a regular
origin.Comment: 49 pages, 19 figures, submitted to Commun. Math. Phy